COMPLETENESS IN CLASSICAL LOGIC OF COMPLEX ALGORITHMSRASIOWA H.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 488-503; BIBL. 14 REF.Conference Paper

ON SOME EXTENSIONS OF DYNAMIC LOGICORLOWSKA E.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 205-212; BIBL. 5 REF.Conference Paper

COMPLETENESS PROOFS FOR SOME LOGICS OF PROGRAMSCHLEBUS BS.1982; Z. MATH. LOGIK GRUNDL. MATH.; ISSN 0044-3050; DDR; DA. 1982; VOL. 28; NO 1; PP. 49-62; BIBL. 10 REF.Article

TWO RESULTS ON PROCESS LOGICHAREL D.1979; INFORM. PROCESSG LETTERS; NLD; DA. 1979; VOL. 8; NO 4; PP. 195-198; BIBL. 4 REF.Article

PLAS ENHANCE DIGITAL PROCESSOR SPEED AND CUT COMPONENT COUNT.REYLING G.1974; ELECTRONICS; U.S.A.; DA. 1974; VOL. 47; NO 16; PP. 109-114Article

PROGRAMMING LANGUAGES AND LOGICS OF PROGRAMSRADEV SR.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 253-257; BIBL. 9 REF.Conference Paper

ALGEBRAIC SEMANTICS AND PROGRAM LOGICS: ALGORITHMIC LOGIC FOR PROGRAM TREESENJALBERT P.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 132-147; BIBL. 17 REF.Conference Paper

SOME MODEL-THEORETICAL PROPERTIES OF LOGIC FOR PROGRAMS WITH RANDOM CONTROLGRABOWSKI M.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 148-155; BIBL. 7 REF.Conference Paper

CIRCUITS PROGRAMMABLES ET CONCEPTION LOGIQUE: L'IMPACT SUR LES STRUCTURES LOGIQUESBERNARD JM.1982; MINIS ET MICROS; ISSN 0336-4585; FRA; DA. 1982; NO 164; PP. 53-56Article

Prozessanalyse mit der SPS―so komfortabel wie deren Programmierung = System identification by PLC―comfortable like PLC programmingKUHN, T.Automatisierungstechnik. 1992, Vol 40, Num 12, pp 476-477, issn 0178-2312Article

ON FOUR LOGICS OF PROGRAMS AND COMPLEXITY OF THEIR SATISFIABILITY PROBLEMS: EXTENDED ABSTRACTCHLEBUS BS.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 98-107; BIBL. 17 REF.Conference Paper

ON THE COMPUTATIONAL COMPLEXITY OF SATISFIABILITY IN PROPOSITIONAL LOGICS OF PROGRAMSCHLEBUS BS.1982; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1982; VOL. 21; NO 2; PP. 179-212; BIBL. 18 REF.Article

FORMAL JUSTIFICATION OF A PROOF SYSTEM FOR COMMUNICATING SEQUENTIAL PROCESSESAPT KR.1983; JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY; ISSN 0004-5411; USA; DA. 1983; VOL. 30; NO 1; PP. 197-216; BIBL. 15 REF.Article

LOGICS OF PROGRAMS AND THEIR APPLICATIONS. A SYMPOSIUM HELD IN POZNAN, POLAND ON AUGUST 23-29, 1980. PROCEEDINGSSALWICKI A.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; VI-324 P.; BIBL. DISSEM.Conference Paper

Multiple constrained folding of programmable logic arrays: theory and applicationsDE MICHELI, G; SANGIOVANNI-VINCENTELLI, A.IEEE transactions on computer-aided design of integrated circuits and systems. 1983, Vol 2, Num 3, pp 151-167, issn 0278-0070Article

Modelling and synthesis of automata in HDLSCHMIELEWSKI, Slawomir; WEGRZYN, Marek.Proceedings of SPIE, the International Society for Optical Engineering. 2006, issn 0277-786X, isbn 0-8194-6431-7, vol1, 63470J.1-63470J.14Conference Paper

An approach to sequential circuit construction in LSI programmable arraysPAPACHRISTOU, C. A; SARMA, D.IEE proceedings. Part E. Computers and digital techniques. 1983, Vol 130, Num 5, pp 159-164, issn 0143-7062Article

High performance bipolar FPLAsTAKEDA, T; MATSUHIRO, K; SUZUKI, M et al.Review of the electrical communication laboratories. 1983, Vol 31, Num 4, pp 566-575, issn 0029-067XArticle

Design of reprogrammable FPLARAJSUMAN, R.Electronics Letters. 1989, Vol 25, Num 11, pp 715-716, issn 0013-5194, 2 p.Article

On compiling queries in recursive first-order databasesHENSCHEN, L. J; NAQVI, S. A.Journal of the Association for Computing Machinery. 1984, Vol 31, Num 1, pp 47-85, issn 0004-5411Article

On static logics, dynamic logics, and complexity classesHAREL, D; PELEG, D.Information and control. 1984, Vol 60, Num 1-3, pp 86-102, issn 0019-9958Article

Un système de CAO pour la description et la simulation d'automates logiquesDABRIOU, R; LE BARON, J. P; BRIE, C et al.International journal of modelling & simulation. 1984, Vol 4, Num 1, pp 42-48, issn 0228-6203Article

Programmable controller based protective systemsMARTEL, J. T.Midyear meeting of the American Petroleum Institute's Refining Department. 49. 1984, 15 p.Conference Paper

Synthèse à un niveau d'automates microprogrammables avec des matrices logiques programmablesBARANOV, S. I; PESCHANSKIJ, V. A; SINEV, V. N et al.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1983, Num 5, pp 41-49, issn 0002-3388Article

A case for PLCsJUNIPER, M.Chemical engineer (London). 1996, Num 603, issn 0302-0797, p. 11Article